[[$I$$\mid\forall$]] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$map($\lambda$$i$.[[$I$$\mid$$i$]];remove{-}repeats(IdDeq;ma{-}interface{-}locs($I$)))